home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 1 / Meeting Pearls Vol 1 (1994).iso / installed_progs / text / faqs / techreport-sites.diff < prev    next >
Encoding:
Internet Message Format  |  1994-05-05  |  3.3 KB
  1. Subject: Computer Science Tech Report Archive Sites [changes from last month]
  2. Newsgroups: comp.doc.techreports,comp.answers,news.answers
  3. From: wais@daneel.rdt.monash.edu.au (WAIS Information Services (Rik Harris maintainer))
  4. Date: 4 May 1994 13:05:39 GMT
  5.  
  6. Archive-name: techreport-sites/diff
  7. Last-modified: 1994-04-28
  8.  
  9. [ announcement: this data is now available on the web, read the main
  10. post for more information -rik ]
  11.  
  12. Here is a list of differences between last month's list of Technical
  13. Report Archive Sites, and this month's.  Entries with a '>' at the start of
  14. them have been added since last month, and entries with a '<' at the start
  15. have been removed.  In some situations, a site will have been both removed
  16. and added.  In this case, a change has been made.
  17.  
  18.  
  19. < name: Clemson University, Department of Computer Science
  20. contact: Prof. David Jacobs <dpj@cs.clemson.edu>
  21. ftp: ftp.cs.clemson.edu:pub/techreports
  22.  
  23. > name: Clemson University, Department of Computer Science
  24. contact: Prof. David Jacobs <dpj@cs.clemson.edu>
  25. ftp: ftp.cs.clemson.edu:techreports
  26.  
  27. > name: Digital Equipment Corporation, Systems Research Centre
  28. ftp: gatekeeper.dec.com:pub/DEC/SRC/research-reports
  29. mail server: <src-report@src.dec.com>
  30. contact: <src-report@src.dec.com>
  31. comments: research reports on theory, systems and specifications
  32. orgcode: SRC
  33.  
  34. < name: Digital Equipment Corporation, Systems Research Centre
  35. ftp: gatekeeper.pa.dec.com:pub/DEC/SRC/research-reports
  36. mail server: <src-report@src.dec.com>
  37. contact: <src-report@src.dec.com>
  38. comments: research reports on theory, systems and specifications
  39. orgcode: SRC
  40.  
  41. < name: ESPRIT CCL (Construction of Computational Logics)
  42. ftp: duck.dfki.uni-sb.de:pub/ccl
  43. contact: <ccl-request@dfki.uni-sb.de>
  44. comments: logic programming, constraint solving, theorem proving
  45. gopher: eagle.dfki.uni-sb.de 70 1ftp%3aduck.dfki.uni-sb.de%40/pub/ccl/
  46.  
  47. > name: ESPRIT CCL (Construction of Computational Logics)
  48. ftp: duck.dfki.uni-sb.de:pub/ccl
  49. contact: <ccl-request@dfki.uni-sb.de>
  50. comments: logic programming, constraint solving, theorem proving
  51. http: http://www.dfki.uni-sb.de/ccl
  52.  
  53. > name: Helsinki University of Technology, Department of Computer Science, Digital Systems Laboratory
  54. ftp: saturn.hut.fi:pub/reports
  55. http: http://saturn.hut.fi/html/reports.html
  56. orgcode: HUT
  57.  
  58. < name: McGill University, School of Computer Science
  59. ftp: wally.cs.mcgill.ca:pub/doc/memos
  60. ftp: wally.cs.mcgill.ca:pub/doc/notes
  61. ftp: wally.cs.mcgill.ca:pub/doc/papers
  62. ftp: wally.cs.mcgill.ca:pub/doc/thesis
  63. comments: Technical reports, papers and thesis from the Advanced Compilers, Architectures and Parallel Systems group.
  64.  
  65. > name: McGill University, School of Computer Science
  66. ftp: wally.cs.mcgill.ca:pub/doc/memos
  67. ftp: wally.cs.mcgill.ca:pub/doc/notes
  68. ftp: wally.cs.mcgill.ca:pub/doc/papers
  69. ftp: wally.cs.mcgill.ca:pub/doc/thesis
  70. contact: <sysadmin@acaps.cs.mcgill.ca:>
  71. comments: Technical reports, papers and thesis from the Advanced Compilers, Architectures and Parallel Systems group.
  72.  
  73. < name: University of British Columbia, Department of Computer Science
  74. contact: <rdngroom@cs.ubc.ca>
  75.  
  76. > name: University of British Columbia, Department of Computer Science
  77. contact: <tech-reports@cs.ubc.ca>
  78. http: http://www.cs.ubc.ca/tr
  79. ftp: ftp.cs.ubc.ca:ftp/local/techreports
  80.  
  81.  
  82. rik.
  83. -- 
  84.  
  85. For changes or suggestions, please send mail to rik.harris@fcit.monash.edu.au
  86. or wais@rdt.monash.edu.au
  87.  
  88.